# 2014/08/21 (AK, CJ)
gap> (13*10^18) + (-3*10^18) = (10^19);
true
